2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Structural Proof Theory
Sara Negri
,
Jan Von Plato
5.15 Mb
#2
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective (Cambridge Studies in Probability, Induction and Decision Theory)
Jan von Plato
4.92 Mb
#3
Proof Analysis: A Contribution to Hilbert’s Last Problem
Sara Negri
,
Jan von Plato
1.56 Mb
#4
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective
Jan Von Plato
2.41 Mb
#5
Proof Analysis: A Contribution to Hilbert's Last Problem
Sara Negri
,
Jan von Plato
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
972 Kb
#6
Structural proof theory
Professor Sara Negri
,
Jan von Plato
,
Aarne Ranta
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.45 Mb
#7
Elements of Logical Reasoning
Jan Von Plato
Категория:
logic
,
proof theory
,
first order logic
1.41 Mb